2.7.2 Conditionals related with a given conditional.